Prague Gathering of Logicians 2016

Štěpán Holub

Solving word equations

slides

We shall survey different algorithms for solving word equations, and then focus on an algebraic approach allowing to obtain some information about solutions of systems of equations with maximal rank.